منابع مشابه
Quantum Logic as Classical Logic
We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean algebras with one modal operator. Thus our classical logic is a completion of the quantum logic QL. In other words, we refute Birkhoff and von Neumann’s classic thesis that the logic (the formal character) of Quantum...
متن کاملClifford algebra as quantum language
We suggest Clifford algebra as a useful simplifying language for present quantum dynamics. Clifford algebras arise from representations of the permutation groups as they arise from representations of the rotation groups. Aggregates using such representations for their permutations obey Clifford statistics. The vectors supporting the Clifford algebras of permutations and rotations are plexors an...
متن کاملClass Algebra as a Description Logic
A class algebra has been used to model the query and data manipulation language for a prototype object-oriented database system which is being implemented for the WorldWide Web [7]. The Prolog prototype (i.e. operational semantics, if you will) is located at http : //www.cs.ccu.edu.tw/ ..~ dan/prologProgs/modeloo.t~t. The class algebra includes a Boolean algebra for class union, intersection, a...
متن کاملQuantum logic as a dynamic logic
We address the old question whether a logical understanding of QuantumMechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear “no”. Philosophically, our argument is based on combining a formal semantic approach, in the spirit of E. W...
متن کاملQuantum logic as motivated by quantum computing
Our understanding of Nature comes in layers, so should the development of logic. Classic logic is an indispensable part of our knowledge, and its interactions with computer science have recently dramatically changed our life. A new layer of logic has been developing ever since the discovery of quantum mechanics. G. D. Birkhoff and von Neumann introduced quantum logic in a seminal paper in 1936 ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1970
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700041642